<?php
	session_start(); 
	if (empty($_SESSION['usuario'])){
		session_destroy();
		header("Location:index.php");
	}
	else{
		$tipo=$_GET["tipo"];
		$usuario=$_GET["usuario"];
		$id_dni=$_GET["id_dni"];
	}
?>
<html>
	<head></head>
	<body>
		<?php
			include("sql.php");
			baja_usuarios ($tipo,$id_dni);
		?>
	</body>
</html>